perm filename FIX[AM,DBL]3 blob
sn#199352 filedate 1976-02-02 generic text, type T, neo UTF8
(FILECREATED " 2-FEB-76 17:17:07" <LENAT>FIX.;1 15513
changes to: RCON)
(LISPXPRINT (QUOTE FIXCOMS)
T T)
[RPAQQ FIXCOMS ((FNS * FIXFNS)
FIXFNS
(VARS * FIXVARS)
FIXVARS GLOBALVARS FIXEDCONS (COMS * (LIST (CONS (QUOTE IFPROP)
(CONS (QUOTE ALL)
FIXEDCONS]
(DEFINEQ
(RCON
[LAMBDA NIL (* This should work but doesn't:
(ASKUSER NIL NIL NIL CONCEPTS))
(PROG (N)
L1 (SETQ N (RATOM))
(COND
((IS-CON N)
(RETURN N))
(T (CPRIN1S -1 CRLF No COMMA no EXCLAIM TAB Type in the name of a concept DOT DOT DOT SPACE)
(GO L1])
(HANDLE-I1
[LAMBDA (B D A R I2)
(COND
[(IS-CON B)
[RPLACA (CAR (GETB B (QUOTE WORTH)))
(IPLUS (CAR (GETB B (QUOTE WORTH)))
(SETQ I2 (RMUL [IDIFFERENCE (SELECTQ D
(R 1000)
0)
(CAR (GETB B (QUOTE WORTH]
A 10]
(OR [NUMBERP (CADDDR (GETB B (QUOTE WORTH]
(SET-NTH (GETB B (QUOTE WORTH))
4 1))
(SET-NTH (GETB B (QUOTE WORTH))
4
(IPLUS (CADDDR (GETB B (QUOTE WORTH)))
(RMUL [IDIFFERENCE (SELECTQ D
(R 1000)
0)
(CADDDR (GETB B (QUOTE WORTH]
(AVG2 A 10)
10)))
(OR R (SETQ R (SPLIST Interestingness of B has changed recently)))
(MAPC CANDS (FUNCTION (LAMBDA (C)
(COND
((EQ B (CB C))
(ADD1CAND (CACT C)
I2 R]
[(AND (LISTP B)
(ENSURE1 B)) (* Assumed to be a Cand)
(ADD1CAND B (RMUL (SELECTQ D
(R 800)
-800)
A 10)
(OR R (PROGN (CPRIN1S 0 CRLF If you know why COMMA tell me COLON SPACE)
(DISMISS 5000)
(OR (AND (READP)
(CONS (RATOM)
(READLINE)))
(PRINT (SPLIST Direct suggestion by FIRSTNAME]
(T (CPRIN1S 0 Can't understand this DCR You must type
in either the name of a specific Being COMMA CRLF TAB or
else a specific candidate COMMA
in the format CRLF TAB LPAREN (QUOTE A)
(QUOTE B)
(QUOTE P)
RPAREN COMMA CRLF TAB
where CRLF TAB TAB (QUOTE A)= Action to be taken COMMA like FILLIN or CHECK CRLF TAB TAB
(QUOTE (QUOTE B))= The name
of a specific concept
to work on crlf tab tab (QUOTE (QUOTE P))= The specific facet of (QUOTE (QUOTE B))
to apply (QUOTE (QUOTE A)) to DCR CRLF)
(HANDLE-I])
(AC-EXS-FILLIN1
[LAMBDA (F1)
(SETQQ F1 RANDQMEMB)
(AND (GETB CS-B (QUOTE ALGS))
[SETQ GTEMP125 (CAR (SOME (GETB CS-B (QUOTE D-R))
(FUNCTION (LAMBDA (DR)
(AND (EVERY (SETQ CROS (MAPCAR (ALL-BUT-LAST DR)
(QUOTE ACEX)))
(QUOTE LISTP))
(SETQ CROS (MAPCAR CROS (FUNCTION (LAMBDA (L)
(COND
((IS-CON (CAR L))
(SETQQ F1 RANDFMEMB)
(SORT (APPEND L)
(QUOTE COMPAREX)))
(T L]
(PROG (TKNT CORG RLST (EK2 0)
(NEK2 0))
(CPRIN1S 6 CRLF Record of attempts to find examples COLON)
(SETQ TKNT (IPLUS (SETQ CORG (CLOCK 2))
(ITIMES CS-INT 100))) (* GTEMP125 is a flag indicating that we
have not yet tried to emphasize the
boundary examples and use them as
arguments)
(SETQ RLST (LIST T))
[SETQ GTEMP127 (COND
((ISA CS-B (QUOTE PREDICATE))
(QUOTE GTEMP131))
(T (QUOTE GTEMP128]
L18 (SETQ GTEMP130 (MAPCAR CROS F1)) (* GTEMP130 is a random vector from the
space of possible arguments of CS-B)
(SETQ GTEMP129 (APPEND (LIST (QUOTE APPLYB)
(KWOTE CS-B)
(Q ALGS))
GTEMP130)) (* GTEMP129 is the fully formed "call"
on CS-B, with arguments GTEMP130)
(SETQ GTEMP131 (MAPCAR GTEMP130 (QUOTE CADR)))
[COND
((SETQ GTEMP128 (EVAL (COPY GTEMP129))) (* GTEMP128 is the value returned by
this call on CS-B)
(CPRIN1S (IPLUS 7 (ITIMES EK2 7))
CRLF An ex LPAREN sought RPAREN is COLON (EVAL GTEMP127))
(* To get to this point, the call must
have been OK; ie, an non-example was
found even though we didn't want one)
(SETQ EK2 (ADD1 EK2))
(CPRIN1 6 (QUOTE +))
(NCONC1 RLST (NCONC1 GTEMP131 GTEMP128)))
(T (SETQ NEK2 (ADD1 NEK2))
(CPRIN1 6 (QUOTE -))
(COND
((ILESSP NEK2 7)
(CPRIN1S (IPLUS 8 (ITIMES NEK2 15))
CRLF An LPAREN unsought RPAREN non-ex is COLON (QUOTE args=)
GTEMP131 COMMA (QUOTE result=)
GTEMP128)
(INCRB CS-B (QUOTE EXS-NOT-BDY)
GTEMP131]
(COND
((OR (IGREATERP NEK2 150)
(IGREATERP EK2 25)
(IGREATERP (CLOCK 2)
TKNT))
(CPRIN1S 7 CRLF)
(CPRIN1S 6 CRLF Found EK2 examples LPAREN and NEK2 non-exs RPAREN COMMA
in (QUOTIENT (IDIFFERENCE (CLOCK 2)
CORG)
1000.0)
secs DOT CRLF)
(COND
((ILESSP (ITIMES 20 EK2)
NEK2)
(CPRIN1S 6 Ratio of exs
to non-exs is too low LPAREN EK2 / NEK2 RPAREN SEMICOLON Exs are too sparse DCR TAB AM will
sometime try
to generalize CS-B DCR)
(BOOST1 [COND
((ZEROP EK2)
CS-INT)
(T (SMALLER (SUB1 CS-INT)
(RMUL 13 NEK2 (ADD1 EK2]
(QUOTE FILLIN)
CS-B
(QUOTE GENL)
NIL
(SPLIST The ratio of examples
to non-examples of CS-B is too low SEMICOLON CS-B is too specialized COMMA too narrow)
))
((AND (ISA CS-B (QUOTE PREDICATE))
(IGREATERP EK2 7)
(ILESSP NEK2 3))
(CPRIN1S 6 Only NEK2 non-examples were encountered DOT Examples are too dense DCR TAB AM will
sometime try to find some non-exs of CS-B DCR)
(BOOST1 (RMUL (IPLUS CS-INT EK2)
EK2 25)
(QUOTE FILLIN)
CS-B
(QUOTE EXS-NOT-BDY)
NIL
(SPLIST Examples of CS-B are too dense SEMICOLON before deciding
to specialize CS-B we should actively try to find more non-examples)))
(T (CPRIN1S 7 A nice ratio of exs/non-exs was encountered for CS-B CRLF)))
(RETURN (CDR RLST)))
((AND GTEMP125 (ILESSP (ITIMES (ADD1 EK2)
15)
NEK2))
[MAP2C GTEMP125 CROS (FUNCTION (LAMBDA (G C)
(NCONC C (APPLY* (QUOTE EXS-BDY)
G]
(SETQ GTEMP125 NIL)))
(GO L18])
(ABC1
[LAMBDA NIL
(MAPC (GETB CS-B (QUOTE GENL))
(FUNCTION (LAMBDA (G MOTI CE)
(SETQ CE (ACX1 CS-B))
(COND
([MOST-OF (APPLY* (QUOTE ACEX)
G)
(FUNCTION (LAMBDA (E)
(MEMBER E CE] (* Then maybe this new specialization
isn't really any more specialized that
its generalization G)
(COND
([SOME (GETB CS-B (QUOTE EXS-NOT-BDY))
(FUNCTION (LAMBDA (NE)
(AND (DEFN-AC G NE)
(INCRB G (QUOTE EXS)
NE] (* Aha; some non-ex of CS-B passes the
looser requirements of G)
)
([SOME (SETQ GTEMP351 (SET-DIFF (ACX1 G)
CE))
(FUNCTION (LAMBDA (E) (* Here we recheck that the ex really is
an ex of G)
(AND (NOT (DEFN-AC CS-B E))
(OR (DEFN-AC G E)
(BOOST1 CS-INT (QUOTE CHECK)
G
(QUOTE EXS)
NIL
(SPLIST In particular COMMA we know that E incorrectly called an
example
of G))
(BOOST1 CS-INT (QUOTE CHECK)
G
(QUOTE EXS-BDY)
NIL
(SPLIST In particular COMMA we know that E incorrectly called an
example
of G)))
(INCRB CS-B (QUOTE EXS-NOT-BDY)
E] (* Aha; some ex of G fails the stringent
requirements of CS-B)
)
(T (* There is now much evidence that G is
no more general than CS-B)
[SETQ MOTI (IPLUS 10 INTHRESH (LENGTH (GETB CS-B (QUOTE EXS)))
(LENGTH (GETB CS-B (QUOTE EXS-NOT)))
(LENGTH (GETB CS-B (QUOTE EXS-NOT-BDY)))
(LENGTH (GETB G (QUOTE EXS-NOT-BDY)))
(LENGTH (GETB G (QUOTE EXS-NOT)))
(LENGTH (GETB G (QUOTE EXS]
(CPRIN1S 6 CRLF CRLF Based
on empirical experiments COMMA AM believes that CS-B may really be no more specialized than G
DCR CRLF)
(COND
[(AND (NULL GTEMP351)
[SETQ GTEMP352 (REMOVE CS-B (GETB G (QUOTE SPEC]
(NOTANY GTEMP352 (QUOTE ACEX)))
(CPRIN1S 6 Closer inspection reveals that the evidence
for this was quite flimsy DCR AM will wait
until some examples
of any
of these have been found COLON GTEMP352 COMMA and
then see
if they truly also are CS-B APOS DCR)
(MAPC GTEMP352
(FUNCTION (LAMBDA (S)
(BOOST1 (SUB1 (IQUOTIENT CS-INT (LENGTH GTEMP352)))
(QUOTE FILLIN)
S
(QUOTE EXS)
NIL
(SPLIST Examples
of S may disprove the weak conjecture that all G APOS are necessarily
CS-B APOS]
(T (CPRIN1S 7 AM conjectures that G and CS-B are equivalent DCR)
(ARE-EQUIV G CS-B MOTI])
)
(RPAQQ FIXFNS (RCON HANDLE-I1 AC-EXS-FILLIN1 ABC1))
(RPAQQ GLOBALVARS
(ACEXPIRE ALLOP AM AM-WAIT AM-WSECS APOS ARGS AUX-FACETS B-DEF BA-LIST BA-LIST2 BAL1 BAL2 CAND CAND-TAIL CANDS
CBEGIN CFN6COMS CIRC COLON COMMA CON6COMS CONCEPTS CONSTRUCTIVE-OPS CP9 CRLF CROS CS-ACT CS-B
CS-FAIL CS-INT CS-OP CS-P CS-WHY CTSPAN CVAL DASH DCR DEFN-STAK DISMISS DO-THRESH DOT DR-CHKLST
DR2CHKLST DUNNO ECMS EKNT ESTAT ETIM EX-THRESH EXCLAIM F-COUNTER FACETS FALSE FIRSTNAME FIXEDCONS
FIXFNS FIXVARS FL1 FL2 FL3 FL4 FROB FROB1 FV1 FV2 FV3 G-IF GADVISER GATH-PART GCAN-DEFN GCEKNT GCNT
GD-TEST GEKNT GENG GEXISTING GIFN GINT-CONS GLEN GLOC-NOT GMSG GNEKNT GNUMS GPGM GPNAME GQEKNT
GRCOMP GREM GRPART GSOME-ELE GSOME-VAL GSP1 GSPEC-SUG GSPEC2SUG GSTL GSTRUC GSWI GTEKNT GTEMP GTEMP1
GTEMP10 GTEMP101 GTEMP102 GTEMP103 GTEMP11 GTEMP117 GTEMP118 GTEMP119 GTEMP12 GTEMP120 GTEMP125
GTEMP126 GTEMP127 GTEMP128 GTEMP129 GTEMP13 GTEMP130 GTEMP131 GTEMP132 GTEMP133 GTEMP134 GTEMP135
GTEMP137 GTEMP138 GTEMP139 GTEMP14 GTEMP140 GTEMP15 GTEMP16 GTEMP17 GTEMP18 GTEMP19 GTEMP197
GTEMP198 GTEMP199 GTEMP2 GTEMP20 GTEMP200 GTEMP201 GTEMP21 GTEMP210 GTEMP212 GTEMP213 GTEMP214
GTEMP215 GTEMP216 GTEMP217 GTEMP218 GTEMP219 GTEMP22 GTEMP220 GTEMP221 GTEMP222 GTEMP223 GTEMP224
GTEMP225 GTEMP23 GTEMP24 GTEMP25 GTEMP26 GTEMP27 GTEMP28 GTEMP29 GTEMP3 GTEMP30 GTEMP301 GTEMP302
GTEMP307 GTEMP308 GTEMP309 GTEMP31 GTEMP310 GTEMP311 GTEMP312 GTEMP313 GTEMP314 GTEMP315 GTEMP316
GTEMP317 GTEMP318 GTEMP319 GTEMP330 GTEMP331 GTEMP332 GTEMP346 GTEMP351 GTEMP352 GTEMP36 GTEMP37
GTEMP370 GTEMP371 GTEMP372 GTEMP373 GTEMP380 GTEMP386 GTEMP39 GTEMP390 GTEMP391 GTEMP4 GTEMP43
GTEMP44 GTEMP46 GTEMP47 GTEMP48 GTEMP49 GTEMP5 GTEMP50 GTEMP51 GTEMP52 GTEMP53 GTEMP54 GTEMP55
GTEMP6 GTEMP60 GTEMP7 GTEMP8 GTEMP9 GTEMPA GTEMPP GUP1 GUSED GWHY GXTR-PART HCON HUND ILEV
INIT-CANDS INIT-DOTHRESH INIT-EXTHRESH INIT-INT-THRESH INIT-INTHRESH INIT-KILS INIT-ONCE-LIST
INIT-PAST GINTPREDS INT-THRESH INTHRESH JTRASH KILS LASTNAME LEXL LNK-PARTS LOOP-FNS LPAREN MAIN-D-R
MAXNAME MERGE-PARTS MWHY NCONCEPTS NEKNT NEW-C-PARTS NEW-CANDS NEW-CONCEPTS NEW-ILEV NEW-PARTS NEWB
NO-LIST NOSWAP-CONCEPTS NOSWAPF OBJX OK ONCE-LIST OR-PARTS ORIG-EMP PAST PHIST PKNT PLUS PMAC
POSS-RPARTS PREC PRIVBS PUNC PUNC1 PUNC2 QUES RANC RANDSTATE RANF RANU RB1 REASON REPR-FNS RPAREN
RTEM2 SEENCANDS SEMICOLON SIN5 SPACE STICKY-B STICKY-P STRAT STRATEGY-PARTS SUF-PARTS SUF1 SUF2
SWORDS SWSUF SYN-LIST SYNTH-RANGE SYS-FORGET-LIST TAB TKNT-INIT TMP1 TMP11 TMP2 TMP3 TMP4 TMP5 TMP6
TMP7 TMP8 TMP9 TOP-ACTS TOP6COMS TRIV-B TRIV-BVAL TRIVB TRUE TYRO UCONTROL USED USERNAME USERNAMES
UTIL6COMS V-REASON V1REASON VCONCEPTS VERBOSITY VERSION XEQ-PARTS XS-PARTS YES-LIST ZZBP SPARECOMS
SPARE-FNS SPARECOMS SPARE-FNS SPARECOMS SPARE-FNS SPARECOMS SPARE-FNS))
(RPAQQ FIXVARS (GLOBALVARS))
(RPAQQ GLOBALVARS
(ACEXPIRE ALLOP AM AM-WAIT AM-WSECS APOS ARGS AUX-FACETS B-DEF BA-LIST BA-LIST2 BAL1 BAL2 CAND CAND-TAIL CANDS
CBEGIN CFN6COMS CIRC COLON COMMA CON6COMS CONCEPTS CONSTRUCTIVE-OPS CP9 CRLF CROS CS-ACT CS-B
CS-FAIL CS-INT CS-OP CS-P CS-WHY CTSPAN CVAL DASH DCR DEFN-STAK DISMISS DO-THRESH DOT DR-CHKLST
DR2CHKLST DUNNO ECMS EKNT ESTAT ETIM EX-THRESH EXCLAIM F-COUNTER FACETS FALSE FIRSTNAME FIXEDCONS
FIXFNS FIXVARS FL1 FL2 FL3 FL4 FROB FROB1 FV1 FV2 FV3 G-IF GADVISER GATH-PART GCAN-DEFN GCEKNT GCNT
GD-TEST GEKNT GENG GEXISTING GIFN GINT-CONS GLEN GLOC-NOT GMSG GNEKNT GNUMS GPGM GPNAME GQEKNT
GRCOMP GREM GRPART GSOME-ELE GSOME-VAL GSP1 GSPEC-SUG GSPEC2SUG GSTL GSTRUC GSWI GTEKNT GTEMP GTEMP1
GTEMP10 GTEMP101 GTEMP102 GTEMP103 GTEMP11 GTEMP117 GTEMP118 GTEMP119 GTEMP12 GTEMP120 GTEMP125
GTEMP126 GTEMP127 GTEMP128 GTEMP129 GTEMP13 GTEMP130 GTEMP131 GTEMP132 GTEMP133 GTEMP134 GTEMP135
GTEMP137 GTEMP138 GTEMP139 GTEMP14 GTEMP140 GTEMP15 GTEMP16 GTEMP17 GTEMP18 GTEMP19 GTEMP197
GTEMP198 GTEMP199 GTEMP2 GTEMP20 GTEMP200 GTEMP201 GTEMP21 GTEMP210 GTEMP212 GTEMP213 GTEMP214
GTEMP215 GTEMP216 GTEMP217 GTEMP218 GTEMP219 GTEMP22 GTEMP220 GTEMP221 GTEMP222 GTEMP223 GTEMP224
GTEMP225 GTEMP23 GTEMP24 GTEMP25 GTEMP26 GTEMP27 GTEMP28 GTEMP29 GTEMP3 GTEMP30 GTEMP301 GTEMP302
GTEMP307 GTEMP308 GTEMP309 GTEMP31 GTEMP310 GTEMP311 GTEMP312 GTEMP313 GTEMP314 GTEMP315 GTEMP316
GTEMP317 GTEMP318 GTEMP319 GTEMP330 GTEMP331 GTEMP332 GTEMP346 GTEMP351 GTEMP352 GTEMP36 GTEMP37
GTEMP370 GTEMP371 GTEMP372 GTEMP373 GTEMP380 GTEMP386 GTEMP39 GTEMP390 GTEMP391 GTEMP4 GTEMP43
GTEMP44 GTEMP46 GTEMP47 GTEMP48 GTEMP49 GTEMP5 GTEMP50 GTEMP51 GTEMP52 GTEMP53 GTEMP54 GTEMP55
GTEMP6 GTEMP60 GTEMP7 GTEMP8 GTEMP9 GTEMPA GTEMPP GUP1 GUSED GWHY GXTR-PART HCON HUND ILEV
INIT-CANDS INIT-DOTHRESH INIT-EXTHRESH INIT-INT-THRESH INIT-INTHRESH INIT-KILS INIT-ONCE-LIST
INIT-PAST GINTPREDS INT-THRESH INTHRESH JTRASH KILS LASTNAME LEXL LNK-PARTS LOOP-FNS LPAREN MAIN-D-R
MAXNAME MERGE-PARTS MWHY NCONCEPTS NEKNT NEW-C-PARTS NEW-CANDS NEW-CONCEPTS NEW-ILEV NEW-PARTS NEWB
NO-LIST NOSWAP-CONCEPTS NOSWAPF OBJX OK ONCE-LIST OR-PARTS ORIG-EMP PAST PHIST PKNT PLUS PMAC
POSS-RPARTS PREC PRIVBS PUNC PUNC1 PUNC2 QUES RANC RANDSTATE RANF RANU RB1 REASON REPR-FNS RPAREN
RTEM2 SEENCANDS SEMICOLON SIN5 SPACE STICKY-B STICKY-P STRAT STRATEGY-PARTS SUF-PARTS SUF1 SUF2
SWORDS SWSUF SYN-LIST SYNTH-RANGE SYS-FORGET-LIST TAB TKNT-INIT TMP1 TMP11 TMP2 TMP3 TMP4 TMP5 TMP6
TMP7 TMP8 TMP9 TOP-ACTS TOP6COMS TRIV-B TRIV-BVAL TRIVB TRUE TYRO UCONTROL USED USERNAME USERNAMES
UTIL6COMS V-REASON V1REASON VCONCEPTS VERBOSITY VERSION XEQ-PARTS XS-PARTS YES-LIST ZZBP SPARECOMS
SPARE-FNS SPARECOMS SPARE-FNS SPARECOMS SPARE-FNS SPARECOMS SPARE-FNS))
(RPAQQ FIXEDCONS NIL)
(DECLARE: DONTCOPY
(FILEMAP (NIL (316 9547 (RCON 328 . 706) (HANDLE-I1 710 . 2513) (AC-EXS-FILLIN1 2517 . 6644) (ABC1 6648 . 9544)))))
STOP